1.0 !isKnownFor(B,A) v !isKnownFor(C,B) v isKnownFor(C,A)
1.0 !graduatedFrom(B,A) v !worksAt(C,B) v isCitizenOf(C,A)
1.0 !hasChild(B,A) v !worksAt(C,B) v isCitizenOf(C,A)
1.0 !hasWonPrize(B,A) v !worksAt(C,B) v isCitizenOf(C,A)
1.0 !isKnownFor(B,A) v !worksAt(C,B) v isCitizenOf(C,A)
1.0 !influences(A,B) v !worksAt(C,B) v isCitizenOf(C,A)
1.0 !hasAcademicAdvisor(B,A) v !worksAt(C,B) v isCitizenOf(C,A)
1.0 !worksAt(B,A) v !worksAt(C,B) v isCitizenOf(C,A)
1.0 !diedIn(B,A) v !worksAt(C,B) v isCitizenOf(C,A)
1.0 !hasNeighbor(B,A) v !hasNeighbor(B,C) v hasCurrency(C,A)
1.0 !hasChild(B,A) v !hasNeighbor(B,C) v hasCurrency(C,A)
1.0 !dealsWith(B,A) v !hasNeighbor(B,C) v hasCurrency(C,A)
1.0 !participatedIn(B,A) v !hasNeighbor(B,C) v hasCurrency(C,A)
1.0 !hasCapital(B,A) v !hasNeighbor(B,C) v hasCurrency(C,A)
1.0 !hasNeighbor(A,B) v hasCurrency(B,A)
1.0 !hasChild(B,A) v !isPoliticianOf(C,B) v hasChild(C,A)
1.0 !hasChild(B,A) v !isMarriedTo(C,B) v hasChild(C,A)
1.0 !isPoliticianOf(B,A) v !isPoliticianOf(C,B) v hasChild(C,A)
1.0 !isLeaderOf(A,B) v !dealsWith(C,B) v dealsWith(C,A)
1.0 !dealsWith(B,A) v !dealsWith(C,B) v dealsWith(C,A)
1.0 !owns(B,A) v !dealsWith(C,B) v dealsWith(C,A)
1.0 !isLocatedIn(A,B) v !dealsWith(C,B) v dealsWith(C,A)
1.0 !hasCapital(B,A) v !dealsWith(C,B) v dealsWith(C,A)
1.0 !isLeaderOf(A,B) v !isLeaderOf(B,C) v dealsWith(C,A)
1.0 !isLeaderOf(A,B) v !isPoliticianOf(B,C) v dealsWith(C,A)
1.0 !dealsWith(B,A) v !isLeaderOf(B,C) v dealsWith(C,A)
1.0 !dealsWith(B,A) v !isPoliticianOf(B,C) v dealsWith(C,A)
1.0 !owns(B,A) v !isLeaderOf(B,C) v dealsWith(C,A)
1.0 !isLocatedIn(A,B) v !isLeaderOf(B,C) v dealsWith(C,A)
1.0 !owns(B,A) v !isPoliticianOf(B,C) v dealsWith(C,A)
1.0 !isLocatedIn(A,B) v !isPoliticianOf(B,C) v dealsWith(C,A)
1.0 !hasWebsite(A,B) v !dealsWith(C,B) v dealsWith(C,A)
1.0 !hasNeighbor(A,B) v !dealsWith(C,B) v dealsWith(C,A)
1.0 !hasCapital(B,A) v !isLeaderOf(B,C) v dealsWith(C,A)
1.0 !created(A,B) v !dealsWith(C,B) v dealsWith(C,A)
1.0 !hasCapital(B,A) v !isPoliticianOf(B,C) v dealsWith(C,A)
1.0 !participatedIn(B,A) v !dealsWith(C,B) v dealsWith(C,A)
1.0 !hasWonPrize(B,A) v hasAcademicAdvisor(B,A)
1.0 !hasChild(A,B) v hasAcademicAdvisor(B,A)
1.0 !directed(B,A) v hasAcademicAdvisor(B,A)
1.0 !influences(A,B) v hasAcademicAdvisor(B,A)
1.0 !isKnownFor(B,A) v hasAcademicAdvisor(B,A)
1.0 !wroteMusicFor(B,A) v hasAcademicAdvisor(B,A)
1.0 !isMarriedTo(A,B) v hasAcademicAdvisor(B,A)
1.0 !graduatedFrom(B,A) v hasAcademicAdvisor(B,A)
1.0 !hasChild(B,A) v !hasAcademicAdvisor(C,B) v hasGender(C,A)
1.0 !hasAcademicAdvisor(B,A) v !hasAcademicAdvisor(C,B) v hasGender(C,A)
1.0 !created(B,A) v !created(C,B) v wroteMusicFor(C,A)
1.0 !wasBornIn(B,A) v !created(C,B) v wroteMusicFor(C,A)
1.0 !actedIn(B,A) v !created(C,B) v wroteMusicFor(C,A)
1.0 !created(B,A) v !isAffiliatedTo(C,B) v wroteMusicFor(C,A)
1.0 !created(B,A) v wroteMusicFor(B,A)
1.0 !isAffiliatedTo(B,A) v wroteMusicFor(B,A)
1.0 !directed(B,A) v !created(C,B) v actedIn(C,A)
1.0 !isMarriedTo(B,A) v !created(C,B) v actedIn(C,A)
1.0 !actedIn(B,A) v !created(C,B) v actedIn(C,A)
1.0 !directed(B,A) v !directed(C,B) v actedIn(C,A)
1.0 !isMarriedTo(B,A) v !directed(C,B) v actedIn(C,A)
1.0 !actedIn(B,A) v !directed(C,B) v actedIn(C,A)
1.0 !created(B,A) v !created(C,B) v actedIn(C,A)
1.0 !wroteMusicFor(B,A) v !created(C,B) v actedIn(C,A)
1.0 !created(B,A) v !directed(C,B) v actedIn(C,A)
1.0 !wroteMusicFor(B,A) v !directed(C,B) v actedIn(C,A)
1.0 !hasChild(B,A) v !created(C,B) v actedIn(C,A)
1.0 !hasChild(B,A) v !directed(C,B) v actedIn(C,A)
1.0 !isKnownFor(B,A) v !created(C,B) v actedIn(C,A)
1.0 !wasBornIn(B,A) v !created(C,B) v actedIn(C,A)
1.0 !created(B,A) v actedIn(B,A)
1.0 !directed(B,A) v actedIn(B,A)
1.0 !isKnownFor(B,A) v !directed(C,B) v diedIn(C,A)
1.0 !isKnownFor(B,A) v !worksAt(C,B) v diedIn(C,A)
1.0 !hasChild(B,A) v !directed(C,B) v diedIn(C,A)
1.0 !hasChild(B,A) v !worksAt(C,B) v diedIn(C,A)
1.0 !hasAcademicAdvisor(A,B) v !directed(C,B) v diedIn(C,A)
1.0 !hasAcademicAdvisor(A,B) v !worksAt(C,B) v diedIn(C,A)
1.0 !isKnownFor(B,A) v !isKnownFor(C,B) v diedIn(C,A)
1.0 !isCitizenOf(A,B) v hasCapital(B,A)
1.0 !isPoliticianOf(A,B) v hasCapital(B,A)
1.0 !isCitizenOf(A,B) v !isCitizenOf(B,C) v hasCapital(C,A)
1.0 !isPoliticianOf(A,B) v !isCitizenOf(B,C) v hasCapital(C,A)
1.0 !isCitizenOf(A,B) v !isPoliticianOf(B,C) v hasCapital(C,A)
1.0 !isPoliticianOf(A,B) v !isPoliticianOf(B,C) v hasCapital(C,A)
1.0 !hasAcademicAdvisor(A,B) v !hasAcademicAdvisor(B,C) v worksAt(C,A)
1.0 !isLocatedIn(A,B) v !hasAcademicAdvisor(B,C) v worksAt(C,A)
1.0 !actedIn(B,A) v !hasAcademicAdvisor(B,C) v worksAt(C,A)
1.0 !hasAcademicAdvisor(A,B) v !actedIn(C,B) v worksAt(C,A)
1.0 !hasAcademicAdvisor(A,B) v !directed(C,B) v worksAt(C,A)
1.0 !isLocatedIn(A,B) v !actedIn(C,B) v worksAt(C,A)
1.0 !isLocatedIn(A,B) v !directed(C,B) v worksAt(C,A)
1.0 !hasAcademicAdvisor(A,B) v worksAt(B,A)
1.0 !actedIn(B,A) v worksAt(B,A)
1.0 !hasWonPrize(B,A) v !livesIn(C,B) v livesIn(C,A)
1.0 !isLeaderOf(B,A) v !livesIn(C,B) v livesIn(C,A)
1.0 !isCitizenOf(B,A) v !livesIn(C,B) v livesIn(C,A)
1.0 !graduatedFrom(B,A) v !livesIn(C,B) v livesIn(C,A)
1.0 !hasChild(B,A) v !livesIn(C,B) v livesIn(C,A)
1.0 !worksAt(B,A) v !livesIn(C,B) v livesIn(C,A)
1.0 !hasWonPrize(B,A) v !worksAt(C,B) v livesIn(C,A)
1.0 !isLeaderOf(B,A) v !worksAt(C,B) v livesIn(C,A)
1.0 !isCitizenOf(B,A) v !worksAt(C,B) v livesIn(C,A)
1.0 !graduatedFrom(B,A) v !worksAt(C,B) v livesIn(C,A)
1.0 !hasChild(B,A) v !worksAt(C,B) v livesIn(C,A)
1.0 !hasWonPrize(B,A) v livesIn(B,A)
1.0 !isLeaderOf(B,A) v livesIn(B,A)
1.0 !isCitizenOf(B,A) v livesIn(B,A)
1.0 !graduatedFrom(B,A) v livesIn(B,A)
1.0 !isLocatedIn(A,B) v !hasChild(C,B) v isAffiliatedTo(C,A)
1.0 !isLocatedIn(A,B) v !isMarriedTo(C,B) v isAffiliatedTo(C,A)
1.0 !isLocatedIn(A,B) v !playsFor(C,B) v isAffiliatedTo(C,A)
1.0 !hasChild(B,A) v isAffiliatedTo(B,A)
1.0 !hasAcademicAdvisor(A,B) v !worksAt(C,B) v hasMusicalRole(C,A)
1.0 !influences(A,B) v !worksAt(C,B) v hasMusicalRole(C,A)
1.0 !hasAcademicAdvisor(A,B) v !hasAcademicAdvisor(B,C) v hasMusicalRole(C,A)
1.0 !influences(A,B) v !hasAcademicAdvisor(B,C) v hasMusicalRole(C,A)
1.0 !hasAcademicAdvisor(A,B) v !graduatedFrom(C,B) v hasMusicalRole(C,A)
1.0 !hasAcademicAdvisor(A,B) v !isLeaderOf(C,B) v hasMusicalRole(C,A)
1.0 !happenedIn(B,A) v !directed(B,C) v isLocatedIn(C,A)
1.0 !happenedIn(B,A) v !isLeaderOf(B,C) v isLocatedIn(C,A)
1.0 !happenedIn(B,A) v !actedIn(B,C) v isLocatedIn(C,A)
1.0 !happenedIn(B,A) v !graduatedFrom(B,C) v isLocatedIn(C,A)
1.0 !happenedIn(B,A) v !wroteMusicFor(B,C) v isLocatedIn(C,A)
1.0 !happenedIn(B,A) v !edited(B,C) v isLocatedIn(C,A)
1.0 !happenedIn(B,A) v !isAffiliatedTo(B,C) v isLocatedIn(C,A)
1.0 !created(A,B) v !directed(B,C) v isLocatedIn(C,A)
1.0 !hasCapital(B,A) v !directed(B,C) v isLocatedIn(C,A)
1.0 !happenedIn(B,A) v !wasBornIn(B,C) v isLocatedIn(C,A)
1.0 !happenedIn(B,A) v isLocatedIn(B,A)
1.0 !participatedIn(A,B) v !happenedIn(C,B) v happenedIn(C,A)
1.0 !participatedIn(A,B) v !participatedIn(B,C) v happenedIn(C,A)
1.0 !participatedIn(A,B) v happenedIn(B,A)
1.0 !dealsWith(B,A) v !dealsWith(C,B) v hasOfficialLanguage(C,A)
1.0 !dealsWith(B,A) v !hasNeighbor(C,B) v hasOfficialLanguage(C,A)
1.0 !hasCapital(B,A) v !dealsWith(C,B) v hasOfficialLanguage(C,A)
1.0 !dealsWith(B,A) v !isPoliticianOf(B,C) v hasOfficialLanguage(C,A)
1.0 !dealsWith(B,A) v hasOfficialLanguage(B,A)
1.0 !directed(B,A) v created(B,A)
1.0 !wroteMusicFor(B,A) v created(B,A)
1.0 !directed(B,A) v !directed(C,B) v created(C,A)
1.0 !wroteMusicFor(B,A) v !directed(C,B) v created(C,A)
1.0 !directed(B,A) v !wroteMusicFor(C,B) v created(C,A)
1.0 !hasChild(B,A) v !hasChild(B,C) v hasWonPrize(C,A)
1.0 !hasChild(B,A) v !created(C,B) v hasWonPrize(C,A)
1.0 !hasChild(B,A) v !hasAcademicAdvisor(C,B) v hasWonPrize(C,A)
1.0 !hasChild(B,A) v !graduatedFrom(C,B) v hasWonPrize(C,A)
1.0 !hasChild(B,A) v !isKnownFor(C,B) v hasWonPrize(C,A)
1.0 !hasAcademicAdvisor(A,B) v !isKnownFor(C,B) v influences(C,A)
1.0 !hasAcademicAdvisor(A,B) v !influences(C,B) v influences(C,A)
1.0 !hasWonPrize(B,A) v !isKnownFor(C,B) v influences(C,A)
1.0 !isPoliticianOf(B,A) v !isLeaderOf(C,B) v isPoliticianOf(C,A)
1.0 !isPoliticianOf(B,A) v !graduatedFrom(C,B) v isPoliticianOf(C,A)
1.0 !graduatedFrom(B,A) v !isLeaderOf(C,B) v isPoliticianOf(C,A)
1.0 !hasChild(B,A) v !isLeaderOf(C,B) v isPoliticianOf(C,A)
1.0 !isPoliticianOf(B,A) v !isPoliticianOf(C,B) v isPoliticianOf(C,A)
1.0 !graduatedFrom(B,A) v !graduatedFrom(C,B) v isPoliticianOf(C,A)
1.0 !hasChild(B,A) v !graduatedFrom(C,B) v isPoliticianOf(C,A)
1.0 !isPoliticianOf(B,A) v !hasChild(B,C) v isPoliticianOf(C,A)
1.0 !isConnectedTo(A,B) v isConnectedTo(B,A)
1.0 !isLocatedIn(A,B) v !isConnectedTo(B,C) v isConnectedTo(C,A)
1.0 !hasChild(A,B) v !worksAt(B,C) v owns(C,A)
1.0 !wroteMusicFor(A,B) v !worksAt(B,C) v owns(C,A)
1.0 !hasChild(A,B) v owns(B,A)
1.0 !wroteMusicFor(A,B) v owns(B,A)
1.0 !hasChild(B,A) v !worksAt(C,B) v graduatedFrom(C,A)
1.0 !actedIn(B,A) v !worksAt(C,B) v graduatedFrom(C,A)
1.0 !hasAcademicAdvisor(A,B) v !worksAt(C,B) v graduatedFrom(C,A)
1.0 !hasWonPrize(B,A) v !worksAt(C,B) v graduatedFrom(C,A)
1.0 !isMarriedTo(A,B) v !directed(C,B) v wasBornIn(C,A)
1.0 !isMarriedTo(A,B) v !hasWonPrize(C,B) v wasBornIn(C,A)
1.0 !actedIn(B,A) v !directed(C,B) v wasBornIn(C,A)
1.0 !graduatedFrom(B,A) v !directed(C,B) v wasBornIn(C,A)
1.0 !isMarriedTo(A,B) v !graduatedFrom(C,B) v wasBornIn(C,A)
1.0 !isPoliticianOf(B,A) v !isLeaderOf(C,B) v isLeaderOf(C,A)
1.0 !graduatedFrom(B,A) v !isLeaderOf(C,B) v isLeaderOf(C,A)
1.0 !isPoliticianOf(B,A) v isLeaderOf(B,A)
1.0 !graduatedFrom(B,A) v isLeaderOf(B,A)
1.0 !dealsWith(B,A) v !dealsWith(C,B) v exports(C,A)
1.0 !dealsWith(B,A) v !isPoliticianOf(B,C) v exports(C,A)
1.0 !isAffiliatedTo(B,A) v isInterestedIn(B,A)
1.0 !hasChild(A,B) v isInterestedIn(B,A)
1.0 !hasAcademicAdvisor(B,A) v isInterestedIn(B,A)
1.0 !created(B,A) v isInterestedIn(B,A)
1.0 !influences(A,B) v isInterestedIn(B,A)
1.0 !isMarriedTo(B,A) v isInterestedIn(B,A)
1.0 !happenedIn(A,B) v participatedIn(B,A)
1.0 !hasNeighbor(A,B) v !happenedIn(B,C) v participatedIn(C,A)
1.0 !hasCapital(B,A) v !happenedIn(B,C) v participatedIn(C,A)
1.0 !dealsWith(A,B) v !happenedIn(B,C) v participatedIn(C,A)
1.0 !diedIn(A,B) v !happenedIn(B,C) v participatedIn(C,A)
1.0 !isLocatedIn(A,B) v !happenedIn(B,C) v participatedIn(C,A)
1.0 !isInterestedIn(A,B) v !happenedIn(B,C) v participatedIn(C,A)
1.0 !hasAcademicAdvisor(B,A) v !happenedIn(B,C) v participatedIn(C,A)
1.0 !wasBornIn(B,A) v !created(C,B) v directed(C,A)
1.0 !created(B,A) v !created(C,B) v directed(C,A)
1.0 !wasBornIn(B,A) v !isAffiliatedTo(C,B) v directed(C,A)
1.0 !created(B,A) v !isAffiliatedTo(C,B) v directed(C,A)
1.0 !wasBornIn(B,A) v !wasBornIn(C,B) v directed(C,A)
1.0 !created(B,A) v directed(B,A)
1.0 !isAffiliatedTo(B,A) v directed(B,A)
1.0 !wasBornIn(B,A) v directed(B,A)
1.0 !dealsWith(B,A) v !isPoliticianOf(B,C) v imports(C,A)
1.0 !dealsWith(B,A) v !dealsWith(C,B) v imports(C,A)
1.0 !isPoliticianOf(A,B) v imports(B,A)
1.0 !dealsWith(B,A) v imports(B,A)
1.0 !directed(B,A) v !directed(C,B) v edited(C,A)
1.0 !directed(B,A) v !created(C,B) v edited(C,A)
1.0 !created(B,A) v !directed(C,B) v edited(C,A)
1.0 !directed(B,A) v edited(B,A)
1.0 !created(B,A) v edited(B,A)
1.0 !hasNeighbor(A,B) v hasNeighbor(B,A)
1.0 !isLocatedIn(A,B) v !hasNeighbor(B,C) v hasNeighbor(C,A)
1.0 !hasNeighbor(A,B) v !hasNeighbor(B,C) v hasNeighbor(C,A)
1.0 !created(A,B) v !playsFor(B,C) v hasWebsite(C,A)
1.0 !wroteMusicFor(A,B) v !playsFor(B,C) v hasWebsite(C,A)
1.0 !isMarriedTo(A,B) v isMarriedTo(B,A)
1.0 !isMarriedTo(A,B) v !isMarriedTo(B,C) v isMarriedTo(C,A)
1.0 !isLocatedIn(A,B) v !isAffiliatedTo(C,B) v playsFor(C,A)
1.0 !isAffiliatedTo(B,A) v playsFor(B,A)
1.0 !isKnownFor(B,A) v isKnownFor(A,B)
1.0 !isLocatedIn(A,B) v !isPoliticianOf(B,C) v isCitizenOf(A,C)
1.0 !dealsWith(B,A) v !isPoliticianOf(B,C) v isCitizenOf(A,C)
1.0 !isPoliticianOf(A,B) v isCitizenOf(A,B)
1.0 !hasCurrency(A,B) v !hasCurrency(B,C) v hasCurrency(A,C)
1.0 !isPoliticianOf(B,A) v !hasChild(B,C) v hasChild(A,C)
1.0 !isPoliticianOf(B,A) v !isKnownFor(C,B) v hasChild(A,C)
1.0 !isPoliticianOf(B,A) v !isAffiliatedTo(C,B) v hasChild(A,C)
1.0 !isKnownFor(B,A) v !isPoliticianOf(C,B) v hasChild(A,C)
1.0 !isPoliticianOf(B,A) v !isLeaderOf(C,B) v hasChild(A,C)
1.0 !isKnownFor(B,A) v !hasChild(B,C) v hasChild(A,C)
1.0 !isKnownFor(B,A) v !isKnownFor(C,B) v hasChild(A,C)
1.0 !isKnownFor(B,A) v !isAffiliatedTo(C,B) v hasChild(A,C)
1.0 !isPoliticianOf(B,A) v !directed(C,B) v hasChild(A,C)
1.0 !hasNeighbor(A,B) v !isPoliticianOf(B,C) v dealsWith(A,C)
1.0 !participatedIn(B,A) v !isPoliticianOf(B,C) v dealsWith(A,C)
1.0 !exports(B,A) v !isPoliticianOf(B,C) v dealsWith(A,C)
1.0 !hasAcademicAdvisor(A,B) v hasAcademicAdvisor(A,B)
1.0 !created(B,A) v hasAcademicAdvisor(A,B)
1.0 !worksAt(B,A) v hasAcademicAdvisor(A,B)
1.0 !actedIn(B,A) v hasAcademicAdvisor(A,B)
1.0 !hasGender(A,B) v !hasGender(B,C) v hasGender(A,C)
1.0 !hasCapital(A,B) v !diedIn(B,C) v diedIn(A,C)
1.0 !worksAt(A,B) v !diedIn(B,C) v diedIn(A,C)
1.0 !hasCapital(A,B) v !livesIn(B,C) v diedIn(A,C)
1.0 !happenedIn(A,B) v !diedIn(B,C) v diedIn(A,C)
1.0 !worksAt(A,B) v !livesIn(B,C) v diedIn(A,C)
1.0 !isAffiliatedTo(A,B) v !diedIn(B,C) v diedIn(A,C)
1.0 !isLocatedIn(A,B) v !diedIn(B,C) v diedIn(A,C)
1.0 !diedIn(A,B) v diedIn(A,B)
1.0 !livesIn(A,B) v hasCapital(A,B)
1.0 !wasBornIn(A,B) v hasCapital(A,B)
1.0 !livesIn(A,B) v !diedIn(B,C) v hasCapital(A,C)
1.0 !livesIn(A,B) v !wasBornIn(B,C) v hasCapital(A,C)
1.0 !livesIn(A,B) v !livesIn(B,C) v hasCapital(A,C)
1.0 !wasBornIn(A,B) v !diedIn(B,C) v hasCapital(A,C)
1.0 !graduatedFrom(A,B) v !graduatedFrom(B,C) v worksAt(A,C)
1.0 !graduatedFrom(A,B) v !worksAt(B,C) v worksAt(A,C)
1.0 !graduatedFrom(A,B) v worksAt(A,B)
1.0 !hasCapital(B,A) v !isCitizenOf(B,C) v livesIn(A,C)
1.0 !worksAt(A,B) v !isCitizenOf(B,C) v livesIn(A,C)
1.0 !livesIn(A,B) v !isCitizenOf(B,C) v livesIn(A,C)
1.0 !diedIn(A,B) v !isCitizenOf(B,C) v livesIn(A,C)
1.0 !hasCurrency(B,A) v !isCitizenOf(B,C) v livesIn(A,C)
1.0 !isLeaderOf(A,B) v !isCitizenOf(B,C) v livesIn(A,C)
1.0 !isLocatedIn(A,B) v !isCitizenOf(B,C) v livesIn(A,C)
1.0 !created(A,B) v !playsFor(B,C) v isAffiliatedTo(A,C)
1.0 !hasCapital(B,A) v !hasMusicalRole(B,C) v hasMusicalRole(A,C)
1.0 !hasChild(B,A) v !hasMusicalRole(B,C) v hasMusicalRole(A,C)
1.0 !dealsWith(B,A) v !isCitizenOf(B,C) v isLocatedIn(A,C)
1.0 !dealsWith(B,A) v !livesIn(B,C) v isLocatedIn(A,C)
1.0 !dealsWith(B,A) v !isPoliticianOf(B,C) v isLocatedIn(A,C)
1.0 !dealsWith(B,A) v isLocatedIn(A,B)
1.0 !isPoliticianOf(A,B) v happenedIn(A,B)
1.0 !isLocatedIn(A,B) v happenedIn(A,B)
1.0 !hasCapital(B,A) v happenedIn(A,B)
1.0 !hasNeighbor(A,B) v happenedIn(A,B)
1.0 !isCitizenOf(A,B) v happenedIn(A,B)
1.0 !isLocatedIn(A,B) v !isPoliticianOf(B,C) v happenedIn(A,C)
1.0 !isLocatedIn(A,B) v !isLocatedIn(B,C) v happenedIn(A,C)
1.0 !isLocatedIn(A,B) v !participatedIn(C,B) v happenedIn(A,C)
1.0 !hasCapital(B,A) v !isPoliticianOf(B,C) v happenedIn(A,C)
1.0 !hasOfficialLanguage(A,B) v !hasOfficialLanguage(B,C) v hasOfficialLanguage(A,C)
1.0 !hasGender(A,B) v !hasOfficialLanguage(B,C) v hasOfficialLanguage(A,C)
1.0 !wroteMusicFor(A,B) v !wroteMusicFor(B,C) v created(A,C)
1.0 !actedIn(A,B) v !directed(B,C) v created(A,C)
1.0 !happenedIn(B,A) v !hasWonPrize(B,C) v hasWonPrize(A,C)
1.0 !hasWonPrize(B,A) v !hasAcademicAdvisor(C,B) v influences(A,C)
1.0 !hasWonPrize(B,A) v !hasWonPrize(C,B) v influences(A,C)
1.0 !hasCapital(B,A) v !isCitizenOf(B,C) v isPoliticianOf(A,C)
1.0 !hasCapital(B,A) v !isPoliticianOf(B,C) v isPoliticianOf(A,C)
1.0 !isLocatedIn(A,B) v !isCitizenOf(B,C) v isPoliticianOf(A,C)
1.0 !worksAt(A,B) v isConnectedTo(A,B)
1.0 !isConnectedTo(B,A) v !livesIn(B,C) v isConnectedTo(A,C)
1.0 !isConnectedTo(B,A) v !diedIn(B,C) v isConnectedTo(A,C)
1.0 !isConnectedTo(B,A) v !wasBornIn(B,C) v isConnectedTo(A,C)
1.0 !isConnectedTo(B,A) v !isPoliticianOf(B,C) v isConnectedTo(A,C)
1.0 !isConnectedTo(B,A) v !edited(B,C) v isConnectedTo(A,C)
1.0 !worksAt(A,B) v !livesIn(B,C) v isConnectedTo(A,C)
1.0 !created(A,B) v !owns(B,C) v owns(A,C)
1.0 !isConnectedTo(B,A) v !owns(B,C) v owns(A,C)
1.0 !owns(A,B) v !owns(B,C) v owns(A,C)
1.0 !created(A,B) v owns(A,B)
1.0 !isConnectedTo(B,A) v owns(A,B)
1.0 !owns(A,B) v owns(A,B)
1.0 !worksAt(A,B) v !worksAt(B,C) v graduatedFrom(A,C)
1.0 !worksAt(A,B) v !graduatedFrom(B,C) v graduatedFrom(A,C)
1.0 !worksAt(A,B) v graduatedFrom(A,B)
1.0 !happenedIn(A,B) v !diedIn(B,C) v wasBornIn(A,C)
1.0 !happenedIn(A,B) v !wasBornIn(B,C) v wasBornIn(A,C)
1.0 !happenedIn(A,B) v !livesIn(B,C) v wasBornIn(A,C)
1.0 !hasCapital(A,B) v !diedIn(B,C) v wasBornIn(A,C)
1.0 !graduatedFrom(A,B) v !diedIn(B,C) v wasBornIn(A,C)
1.0 !hasCapital(A,B) v !wasBornIn(B,C) v wasBornIn(A,C)
1.0 !hasCapital(A,B) v !livesIn(B,C) v wasBornIn(A,C)
1.0 !graduatedFrom(A,B) v !wasBornIn(B,C) v wasBornIn(A,C)
1.0 !livesIn(A,B) v !isPoliticianOf(B,C) v isLeaderOf(A,C)
1.0 !isLeaderOf(A,B) v !isPoliticianOf(B,C) v isLeaderOf(A,C)
1.0 !isAffiliatedTo(A,B) v !isPoliticianOf(B,C) v isLeaderOf(A,C)
1.0 !livesIn(A,B) v !livesIn(B,C) v isLeaderOf(A,C)
1.0 !livesIn(A,B) v isLeaderOf(A,B)
1.0 !isLeaderOf(A,B) v isLeaderOf(A,B)
1.0 !isAffiliatedTo(A,B) v isLeaderOf(A,B)
1.0 !exports(A,B) v !exports(B,C) v exports(A,C)
1.0 !imports(A,B) v !exports(B,C) v exports(A,C)
1.0 !isLeaderOf(A,B) v !isPoliticianOf(B,C) v isInterestedIn(A,C)
1.0 !created(A,B) v !isPoliticianOf(B,C) v isInterestedIn(A,C)
1.0 !owns(A,B) v !isPoliticianOf(B,C) v isInterestedIn(A,C)
1.0 !hasNeighbor(A,B) v !isPoliticianOf(B,C) v isInterestedIn(A,C)
1.0 !hasCapital(B,A) v !isPoliticianOf(B,C) v isInterestedIn(A,C)
1.0 !isLeaderOf(A,B) v !isLeaderOf(B,C) v isInterestedIn(A,C)
1.0 !isLeaderOf(A,B) v isInterestedIn(A,B)
1.0 !owns(A,B) v isInterestedIn(A,B)
1.0 !hasNeighbor(A,B) v isInterestedIn(A,B)
1.0 !hasCapital(B,A) v isInterestedIn(A,B)
1.0 !happenedIn(B,A) v !participatedIn(B,C) v participatedIn(A,C)
1.0 !happenedIn(B,A) v !happenedIn(C,B) v participatedIn(A,C)
1.0 !wroteMusicFor(A,B) v !created(B,C) v directed(A,C)
1.0 !actedIn(A,B) v !created(B,C) v directed(A,C)
1.0 !imports(A,B) v !imports(B,C) v imports(A,C)
1.0 !imports(A,B) v !exports(B,C) v imports(A,C)
1.0 !exports(A,B) v !imports(B,C) v imports(A,C)
1.0 !exports(A,B) v !exports(B,C) v imports(A,C)
1.0 !created(A,B) v !created(B,C) v edited(A,C)
1.0 !hasWonPrize(B,A) v !isKnownFor(C,B) v hasWebsite(A,C)
1.0 !isKnownFor(B,A) v !isKnownFor(C,B) v hasWebsite(A,C)
1.0 !wroteMusicFor(B,A) v !isKnownFor(C,B) v hasWebsite(A,C)
1.0 !isAffiliatedTo(A,B) v !isAffiliatedTo(B,C) v playsFor(A,C)
1.0 !created(A,B) v !isAffiliatedTo(B,C) v playsFor(A,C)
1.0 !hasCurrency(B,A) v !isAffiliatedTo(B,C) v playsFor(A,C)
1.0 !wroteMusicFor(A,B) v !isAffiliatedTo(B,C) v playsFor(A,C)